مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Rigour and Proof

Authors : Oliver M W Tatton-Brown

Subjects: Logic; 010102 general mathematics; Mathematical rigour

Source: Tatton-Brown, O M W 2023, ' Rigour and Proof ', Review of Symbolic Logic, vol. 16, no. 2, pp. 480-508 . https://doi.org/10.1017/S1755020320000398

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Questions in two-dimensional logic

Authors : Thom Van Gessel;

Subjects: Philosophy; Mathematics (miscellaneous); Logic

Source: Review of Symbolic Logic, 15(4), 859-879. Cambridge University Press

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Online Algorithms for Weighted Paging with Predictions

Authors : Zhihao Jiang; Debmalya Panigrahi; Kevin Sun

Subjects: FOS: Computer and information sciences; Mathematics (miscellaneous); 010201 computation theory & mathematics

Source: ACM Transactions on Algorithms. 18:1-27

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Carleson Measure Estimates for the Green Function

Authors : Guy David; Linhan Li; Svitlana Mayboroda

Subjects: Mathematics - Analysis of PDEs; Mathematics (miscellaneous); Mechanical Engineering

Source: Archive for Rational Mechanics and Analysis. 243:1525-1563

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Undergraduate students' difficulties with boundary conditions for the diffusion equation

Authors : Mieke De Cock; Sofie van den Eynde; Martin Goedhart ...

Subjects: Diffusion equation; Partial differential equation; Applied Mathematics

Source: International Journal of Mathematical Education in Science and Technology, 53(8), 2176-2198

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

PTAS for sparse general-valued CSPs

Authors : Balázs F. Mezei; Marcin Wrochna; stanislav Živný

Subjects: FOS: Computer and information sciences; Dense graph; Discrete Mathematics (cs.DM)

Source: LICS2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Logic in Computer Science

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Sequential Simulation of a Conditional Boolean Model

Authors : Xavier Freulon; Alan Troncoso; Christian Lantuéjoul ...

Subjects: 0209 industrial biotechnology; [SDE.IE]Environmental Sciences/Environmental Engineering; Computer science

Source: Mathematical GeosciencesMathematical Geosciences, Springer Verlag, 2021, ⟨10.1007/s11004-021-09977-3⟩

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Smaller Cuts, Higher Lower Bounds

Authors : Seri Khoury; Amir Abboud; Ami Paz

Subjects: FOS: Computer and information sciences; Discrete mathematics; Dense graph

Source: ACM Transactions on Algorithms. 17:1-40

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Non-conservation of Dimension in Divergence-Free Solutions of Passive and Active Scalar Systems

Authors : Jose L. Rodrigo; Charles Fefferman; Benjamin C. Pooley

Subjects: Physics; Pure mathematics; Mechanical Engineering

Source: Archive for Rational Mechanics and Analysis. 242:1445-1478

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Traces of Newtonian-Sobolev, Hajlasz-Sobolev, and BV functions on metric spaces

Authors : Panu Lahti; Xining Li; Zhuang Wang

Subjects: Pure mathematics; 46E35, 26B30, 30L99; 010102 general mathematics

Source: ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE. :1353-1383

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Rigour and Proof

Questions in two-dimensional logic

Online Algorithms for Weighted Paging with Predictions

Carleson Measure Estimates for the Green Function

Undergraduate students' difficulties with boundary conditions for the diffusion equation

PTAS for sparse general-valued CSPs

Sequential Simulation of a Conditional Boolean Model

Smaller Cuts, Higher Lower Bounds

Non-conservation of Dimension in Divergence-Free Solutions of Passive and Active Scalar Systems

Traces of Newtonian-Sobolev, Hajlasz-Sobolev, and BV functions on metric spaces